81![Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck](https://www.pdfsearch.io/img/bb17ba1e2431919283e20e6e1a542be6.jpg) | Add to Reading ListSource URL: www.haz.caLanguage: English - Date: 2013-10-28 07:18:32
|
---|
82![The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.](https://www.pdfsearch.io/img/d6cc10e9e473eb28c042cce372b6e4fe.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2010-03-23 07:22:00
|
---|
83![Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr](https://www.pdfsearch.io/img/8e4b7f019250a096563d464966b8318e.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|
84![The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U](https://www.pdfsearch.io/img/443c4df260599dcc629cb9a65398d63f.jpg) | Add to Reading ListSource URL: www.bedewell.comLanguage: English - Date: 2011-06-15 11:37:40
|
---|
85![The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth](https://www.pdfsearch.io/img/0a87d4eb54e4fd7cbd0a45c4ceb62229.jpg) | Add to Reading ListSource URL: db.ucsd.eduLanguage: English - Date: 2008-12-16 18:43:25
|
---|
86![DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir*, Ewen Denney† and Bernd Fischer* * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir*, Ewen Denney† and Bernd Fischer* * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk †](https://www.pdfsearch.io/img/8e4431485cc0947d30b06281756c4cbf.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: English |
---|
87![C:/Mina dokument/4th year project/ProjectReport.dvi C:/Mina dokument/4th year project/ProjectReport.dvi](https://www.pdfsearch.io/img/8562860825b79eff21f5acbfb1c2bf9a.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2007-02-02 09:38:01
|
---|
88![On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2](https://www.pdfsearch.io/img/be4c8fe68c97acb17c5e2eb01333df5a.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
89![DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk](https://www.pdfsearch.io/img/644588219941f24da33a56d69ee5fe62.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:09
|
---|
90![Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen Towards Efficient Conversions by use of Partial Evaluation Morten Welinder DIKU, Department of Computer Science University of Copenhagen](https://www.pdfsearch.io/img/7c44a543a9285bf365110c66f7ba37c7.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:54
|
---|